Leslie Lamport: Thinking Above The Code